其他
高等代数,第四版,第三章P157,T20
0是自然数;
每一个确定的自然数a,都有一个确定的后继数a' ,a' 也是自然数;
对于每个自然数b、c,b=c当且仅当b的后继数=c的后继数;
0不是任何自然数的后继数;
任意关于自然数的命题,如果证明:它对自然数0是真的,且假定它对自然数a为真时,可以证明对a' 也真。那么,命题对所有自然数都真。
X是一集合,x为X中一元素,f是X到自身的映射。
x不在f的值域内。(对应上面的公理4)
f为一单射。(对应上面的公理3)
精选推荐
01 | |
02 | 数学各学科:全套高清图的获取方式 |
03 |
让我知道你在看